Distributed topology management for wireless multimedia sensor networks: exploiting connectivity and cooperation

In this paper, we propose a distributed topology management algorithm, named T‐Must, which orchestrates coalition formation game between camera and scalar sensor (SS) nodes, for use in wireless multimedia sensor networks. In the proposed solution, connectivity among the peer camera sensor (CS) nodes is maintained, and coverage is ensured between them. Only the scalar data are not sufficient to describe an event in a particular monitored area. In many cases, multimedia data (specifically, video data) are required to provide more precise information about the event. As the CS nodes, which sense and transmit multimedia data, are costlier than the SS nodes, the former are deployed in the monitored area in lesser numbers compared to the latter ones. In case of CS nodes, power consumption due to sensing is also significant, similar to power consumption for the transmission and reception of packets. Therefore, in this work, in order to increase the network lifetime, topology is controlled by forming coalition between the CS and SS nodes. Upon occurrence of an event, the SS nodes send scalar data to their associated CS nodes. If the scalar data received from SS nodes cross a preconfigured threshold, the associated CS node in the coalition starts sensing the event, captures the video data, and forwards the video data toward other coalitions or sink. Copyright © 2014 John Wiley & Sons, Ltd.     

A simplification of a real‐time verification problem

We revisit the problem of real‐time verification with dense‐time dynamics using timeout and calendar‐based models and simplify this to a finite state verification problem. We introduce a specification formalism for these models and capture their behaviour in terms of semantics of timed transition systems. We discuss a technique, which reduces the problem of verification of qualitative temporal properties on infinite state space of a large fragment of these timeout and calender‐based transition systems into that on clock‐less finite state models through a two‐step process comprising of digitization and finitary reduction. This technique enables us to verify safety invariants for real‐time systems using finite state model checking avoiding the complexity of infinite state (bounded) model checking and scale up models without applying techniques from induction‐based proof methodology. In the same manner, we verify timeliness properties. Moreover, we can verify liveness for real‐time systems, which are not possible by using induction with infinite state model checkers. Copyright © 2016 John Wiley & Sons, Ltd.     

Psychobiotics: A new approach for treating mental illness?

Gut microbiomes may have a significant impact on mood and cognition, which is leading experts towards a new frontier in neuroscience. Studies have shown that increase in the amount of good bacteria in the gut can curb inflammation and cortisol level, reduces symptoms of depression and anxiety, lowers stress reactivity, improves memory and even lessens neuroticism and social anxiety. This shows that, probably the beneficial gut bacteria or probiotics function mechanistically as delivery vehicles for neuroactive compounds. Thus, a psychobiotic is a live organism, when ingested in adequate amounts, produces a health benefit in patients suffering from psychiatric illness. Study of these novel class of probiotics may open up the possibility of rearrangement of intestinal microbiota for effective management of various psychiatric disorders.     

Low Cost Portable Solution for Real-Time Complete Detection and Analysis of Heart Sound Components

Wireless Personal Communications - Detection of heart sound and analysis is required to determine heart rate, heart sound components (S1, S2 and murmurs), and is an important step to...     

Effect of grain boundary character on sink efficiency

The dependence of the width of void-denuded zones (VDZs) on grain boundary (GB) characters was investigated in Cu irradiated with He ions at elevated temperature. Dislocation loops and voids formed near GBs during irradiation were characterized by transmission electron microscopy, and GB misorientations and normal planes were determined by electron back-scatter diffraction. The VDZ widths at Σ3〈1 1 0〉 tilt GBs ranged from 0 to 24 nm and increased with the GB plane inclination angle. For non-Σ3 GBs, VDZ widths ranged from 40 to 70 nm and generally increased with misorientation angle. Nevertheless, there is considerable scatter about this general trend, indicating that the remaining crystallographic parameters also play a role in determining the sink efficiencies of these GBs. In addition, the VDZ widths at two sides of a GB show different values for certain asymmetrical GBs. Voids were also observed within GB planes and their density and radius also appeared to depend on GB character. We conclude that GB sink efficiencies depend on the overall GB character, including both misorientation and GB plane orientation.     

Yield and Functional Properties of Taro Starch as Affected by Ultrasound

Effect of ultrasound pretreatment on yield and functional properties of taro starch was investigated. A three-factor two-level factorial design was employed with treatment time (5 and 10 min), treatment cycle (0.5 and 1), and amplitude of ultrasound (50 and 100 %). Starch yield from ultrasonic treatment varied from 17.45 to 18.97 % compared to 15.29 % in conventional method. The highest yield of 18.97 % was obtained with treatment time 10 min, treatment cycle 0.5, and amplitude 50 %. A significant increase in swelling, solubility, pasting, and texture properties of the ultrasonically extracted starch was observed. A slight decrease in clarity of the starch pastes was also observed after ultrasonic pretreatment, but the differences were not much significant. Freeze-thaw stability of the ultrasonically extracted starches was found to be better compared to starch extracted using conventional method, making them suitable for foods subjected to refrigeration. The whiteness of the ultrasonically extracted starch powders was lower compared to conventionally extracted starch, but the differences were not statistically significant.     

Morphology,Mineralogy and Mixing of Individual Atmospheric Particles Over Kanpur (IGP): Relevance of Homogeneous Equivalent Sphere Approximation in Radiative Models

Estimation of the direct radiative forcing (DRF) by atmospheric particles is uncertain to a large extent owing to uncertainties in their morphology (shape and size), mixing states, and chemical composition. A region-specific database of the aforementioned physico-chemical properties (at individual particle level) is necessary to improve numerically-estimated optical and radiative properties. Till date, there is no detailed observation of the above mentioned properties over Kanpur in the Indo-Gangetic Plain (IGP). To fill this gap, an experiment was carried out at Kanpur (IITK; 26.52°N, 80.23°E, 142 m msl), India from April to July, 2011. Particle types broadly classified as (a) Cu-rich particles mixed with carbon and sulphur (b) dust and clays mixed with carbonaceous species (c) Fe-rich particles mixed with carbon and sulfur and (d) calcite (CaCO₃) particles aged with nitrate, were observed. The frequency distributions of aspect ratio (AR; indicator of extent of particle non-sphericity) of total 708 particles from April to June reveal that particles with aspect ratio range >1.2 to ≤1.4 were abundant throughout the experiment except during June when it was found to shift to high AR range, >1.4 to ≤1.6 (followed with another peak of AR i.e. >2 to ≤2.4) due to dust storm conditions enhancing the occurrence of more non-spherical particles over the sampling site. The spherical particles (and close to spherical shape; AR range, 1.0 to ≤1.2) were found to be <20% throughout the experiment with a minimum (11.5%) during June. Consideration of Homogeneous Equivalent Sphere Approximation (HESA) in the optical/radiative model over the study region is found to be irrelevant during the campaign.